Ian Chisholm Allen

Models of the Chisholm set

We give a counter-example showing that Carmo and Jones’ condition 5(e) may conflict with the other conditions on the models in their paper A new approach to contrary-to-duty obligations.

The Temporal Analysis of Chisholm

Deontic logic, the logic of obligations and permissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation language. In this paper we extend the temporal analysis of Chisholm's paradox using a deontic logic that combines temporal and preferential notions.

Ian A

A need for better vitamin nutrition appears at three levels: vitamin insufficiency, deficiency, and dependence. A vitamin insufficiency requires the body to make some degree of metabolic adjustment because the amount of the coenzyme (vitamin) is limited. Myofascial pain syndromes are aggravated by insufficient levels of at least four Bcomplex vitamins as listed above. Vitamin deficiency, on the...

The Chisholm Paradox and the Situation Calculus

Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notorious. We propose a formalisation of the Chisholm set in the framework of the situation calculus. We utilise this alternative to modal logic for formalising the obligations of the agent and avoiding the Chisholm paradox...

Dr Ian Ellison -